relation compositionの例文

例文

もっと例文:   1  2

1. :This definition uses the same notation used in mathematics for relation composition.
2. To distinguish the left composition operator from a text semicolon, in the Z notation the & # 10814; character is used for left relation composition.
3. From the monotonicity and continuity of relation composition, it follows immediately that the set of the bisimulations is closed under unions ( joins in the poset of relations ), and a simple algebraic calculation shows that the relation of bisimilarity the join of all bisimulations is an equivalence relation.
4. However, the conventional reading for relation composition is the other way around : given two relations T and S, ( x, z ) \ in T \ circ S when there exist some y such that ( x, y ) \ in S and ( y, z ) \ in T.
5. The set of binary relations on a set " X " ( i . e . relations from " X " to " X " ) together with ( left or right ) relation composition forms a monoid with zero, where the identity map on " X " is the neutral element, and the empty set is the zero element.